Scintillator ageing of the T2K near detectors from 2010 to 2021

The T2K experiment widely uses plastic scintillator as a target for neutrino interactions and an active medium for the measurement of charged particles produced in neutrino interactions at its near detector complex. Over 10 years of operation the measured light yield recorded by the scintillator based subsystems has been observed to degrade by 0.9–2.2% per year. Extrapolation of the degradation rate through to 2040 indicates the recorded light yield should remain above the lower threshold used by the current reconstruction algorithms for all subsystems. This will allow the near detectors to continue contributing to important physics measurements during the T2K-II and Hyper-Kamiokande eras. Additionally, work to disentangle the degradation of the plastic scintillator and wavelength shifting fibres shows that the reduction in light yield can be attributed to the ageing of the plastic scintillator. The long component of the attenuation length of the wavelength shifting fibres was observed to degrade by 1.3–5.4% per year, while the short component of the attenuation length did not show any conclusive degradation

VHE Gamma-ray Observation of Crab Nebula with HAGAR Telescope Array

International audienceHAGAR is a system of seven Non-imaging Atmospheric Cherenkov Telescopes located at Hanle in the Ladakh region of the Indian Himalayas at an altitude of 4270 meters amsl. Since 2008, we have observed the Crab Nebula to assess the performance of the HAGAR telescopes. We describe the analysis technique for the estimation of γ-ray signal amidst cosmic ray background. The consolidated results spanning nine years of the Crab nebula observations show long term performance of the HAGAR telescopes. Based on about 219 hours of data, we report the detection of γ-rays from the Crab Nebula at a significance level of about 20σ, corresponding to a time averaged flux of (1.64±0.09) × 10$^{− 10}$ photons cm$^{− 2}$ sec$^{− 1}$ above 230 GeV. Also, we perform a detailed study of possible systematic effects in our analysis method on data taken with the HAGAR telescopes

Object Model Construction for Inheritance in C++ and its Applications to Program Analysis

Abstract. Modern object-oriented programming languages such as C++ provide convenient abstractions and data encapsulation mechanisms for software developers. However, these features also complicate testing and static analysis of programs that utilize object-oriented programming concepts. In particular, the C++ language exhibits features such as multiple inheritance, static and dynamic typecasting that make static analyzers for C++ quite hard to implement. In this paper, we present an approach where static analysis is performed by lowering the original C++ program into a semantically equivalent C program. However, unlike existing translation mechanisms that utilize complex pointer arithmetic operations, virtual-base offsets, virtual-function pointer tables, and calls to run-time libraries to model C++ features, our translation is targeted towards making static program analyzers for C++ easier to write and provide more precise results. We have implemented our ideas in a framework for C++ called CILpp that is analogous to the popular C Intermediate Language (CIL) framework. We evaluate the effectiveness of our translation in a bug finding tool that uses abstract interpretation and model checking. The bug finding tool uncovered several previously unknown bugs in C++ open source projects.